81. Lambda-calculus, combinators, and functional programming
Author: Revesz, Gyorgy E.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Lambda calculus,، Combinatory logic,، Functional programming languages
Classification :
QA
9
.
5
.
R48
1988
82. Lambda-calculus, combinators, and functional programming
پدیدآورنده : G.E. Revesz
موضوع : Lambda calculus,Combinatory logic,Functional programming languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
83. Learning Haskell data analytics :
Author: James Church
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming languages,Haskell (Computer program language),Statistics-- Computer programs
Classification :
QA76
.
73
.
H37
84. Mastering Clojure macros
Author: Colin Jones
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Clojure (Computer program language),Functional programming (Computer science),Functional programming languages,Macro instructions (Electronic computers)
Classification :
QA76
.
62
.
J66
2014
85. Mise en oeuvre des langages fonctionnels de programmation
Author: / Simon L.Peyton Jones
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Functional programming languages
Classification :
QA
76
.
7
.
P414
1987
86. Parallel functional languages and compilers
Author: edited by Boleslaw K. Szymanski
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Parallel programming )Computer science(,، Functional programming languages,، Compilers )Computer programs(
Classification :
QA
76
.
642
.
P37
1991
87. Parallel functional languages and compilers
Author: / edited by Boleslaw K. Szymanski
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Functional programming languages
Classification :
QA
76
.
642
.
P37
1991
88. Practical OCaml
Author: Joshua B. Smith.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming (Computer science),Functional programming languages.,OCaml (Computer program language)
89. Principles of functional programming
Author: Glaser, Hugh
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Functional programming )Computer science(,، Functional programming languages
Classification :
QA
76
.
6
.
G558
1984
90. #Principles of functional programming
Author: #Hugh Glaser, Chris Hankin )and( David Till
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Functional programming )Computer science( ،Functional programming languages
Classification :
#
QA
،#.
G5337
،#
1984
91. Programming Elixir > 1.6 :
Author: by Dave Thomas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Elixir (Computer program language),Functional programming languages.,COMPUTERS / Programming Languages / General,Elixir (Computer program language),Functional programming languages.
Classification :
QA76
.
62
92. Programming with Miranda
Author: Chris Cack, Colin Myers, Ellen Poon,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Functional programming languages,Miranda )Computer program language(
Classification :
QA
.
C55
76
.
62
1994
93. Scala functional programming patterns :
Author: Atul S. Khot
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming languages,Scala (Computer program language)
Classification :
QA76
.
73
.
S28
94. Semantics of type theory : correctness, Completeness and independence results
Author: Streicher, Thomas, 8591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
Classification :
QA
76
.
7
.
S85
95. Semantics of type theory : correctness, completeness, and independence results
Author: Thomas Streicher,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory
Classification :
QA
.
S82
76
.
7
1991
96. Software design and prototyping using Me Too
Author: / Heather Alexander, Val Jones,Alexander
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Computer software-- Development,Functional Programming languages
Classification :
QA
76
.
76
.
D47A42
1990
97. Software design and prototyping using Me Too
Author: / Heather Alexander, Val Jones
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Computer software - Development,Functional programming languages
Classification :
QA
76
.
76
.
D47A42
1990
98. Software design and prototyping using Me Too
پدیدآورنده : Alexander, Heather
موضوع : ، Computer software -- Development,، Functional programming languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
99. 6 : Stylish F
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: F? (Computer program language) ; Functional programming languages ; Microsoft .NET Framework ;
100. The generic development languag Deva : presentation and case studies
Author: Weber, Matthias
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Deva )Computer program language(,، Functional programming languages
Classification :
QA
76
.
L28
Vol
.
738
